#include <stdio.h>
#include <stdlib.h>

void __exit() {
	exit(0);
}

int main(void) {
	FILE *f = fopen("example.bin", "w");
	if(!f)
		return 1;
	
	for(void *i = &&start; i < &&end; i++)
		fwrite(i, 1, 1, f);

	fclose(f);

	__exit();

	start:
	asm (
//"fadd %st(0), %st(1)\n"

//"pclmulqdq $42, %xmm0, %xmm1\n"

"nop\n"

//"vaesdec %xmm14, %xmm15, %xmm2\n"
//"vpextrw $0, %xmm2, %rax\n"
//"vzeroall\n"
);
	end:;

	return 0;
}
